conditional adj. 1.带有条件的,有限制的;视…而定的。 2.【语法】条件的,假设的。 3.引起条件反射的。 n. 【语法】条件子句,条件词。 be conditional on [upon] 在…条件下,以…为条件,取决于。 n. -ity 受限制性,有条件性,制约性;条件限制。 adv. -ly
Represents a conditional branch statement , typically represented as an if 表示条件分支语句,通常表示为一个
Abstract : for a precise dataflow analysis within the framework of the computation function model , the logical relationship of branch conditions is represented as the coverage relationship of regions . in this paper , the authors discuss how to represent , compute and propagate the region , region of the conditional reference . meanwhile , the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information 文摘:用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递区域、区域,并在数据流分析过程中,利用区域、区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息